{-# LANGUAGE BinaryLiterals #-}

import Data.Char

data T
  = C1 {f1, f2 :: Int}
  | C2
      { f1 :: Int,
        f3, f4 :: Char
      }
  deriving (Show)

-- Expression	Translation
a = C1 {f1 = 3} -- C1 3 undefined

b = C2 {f1 = 1, f4 = 'A', f3 = 'B'} -- C2 1 'B' 'A'
